Partitioned Linear Programming Approximations for MDPs

Source URL: uai2008.cs.helsinki.fi

Protein Threading Using a Score Function Derived by a Linear Programming Based Method Tatsuya Akutsu 1 1

Source URL: www.jsbi.org

Simplex with Sum of Infeasibilities for SMT Tim King⇤ ⇤ New Clark Barrett⇤

Source URL: www.cs.utexas.edu

• Operations research
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Simplex algorithm
• Linear programming
• Simplex
• First-order logic

Lecture Notes on Deductive Inference Course on Linear Logic Oregon Programming Languages Summer School 2013 Frank Pfenning Lecture 1

Source URL: www.cs.uoregon.edu

On Dual Decomposition and Linear Programming Relaxations for Natural Language Processing Alexander M. Rush David Sontag Michael Collins

Source URL: cs.nyu.edu

Decoding by Linear Programming Emmanuel Candes† and Terence Tao] † Applied and Computational Mathematics, Caltech, Pasadena, CADepartment of Mathematics, University of California, Los Angeles, CADecem

Source URL: statweb.stanford.edu

Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 The Work of Daniel A. Spielman Gil Kalai Dan Spielman has made groundbreaking contributions in theoretical computer

Source URL: www.icm2010.in

• Mathematics
• Computational complexity theory
• Computer science
• Analysis of algorithms
• Linear programming
• Operations research
• Mathematical optimization
• Smoothed analysis
• KleeMinty cube
• Simplex algorithm
• Daniel Spielman
• Algorithm

Introduction to R Phil Spector Statistical Computing Facility Department of Statistics University of California, Berkeley

Source URL: www.stat.berkeley.edu

• Algebra
• Software engineering
• Software
• Linear algebra
• Matrix
• Array programming
• R
• Array data type
• MAD
• Euclidean vector
• Array slicing
• APL syntax and symbols

Linear Programming, the Simplex Algorithm and Simple Polytopes Gil Kalai Institute of Mathematics, Hebrew University of Jerusalem, Jerusalem, Israel e:mail: May 6, 1997

Source URL: www.ma.huji.ac.il

Linear Index Coding via Semidefinite Programming∗ Eden Chlamt´acˇ † Ishay Haviv‡ Abstract

Source URL: www2.mta.ac.il